منابع مشابه
Tree Buffers
In runtime verification, the central problem is to decide if a given program execution violates a given property. In online runtime verification, a monitor observes a program’s execution as it happens. If the program being observed has hard real-time constraints, then the monitor inherits them. In the presence of hard real-time constraints it becomes a challenge to maintain enough information t...
متن کاملStudy on new crashworthy buffers in railway
At the collision time, a lot of energy is generated during a short period of time that causes large deformations in bodies. One of the most important parts of wagon in railway is a buffer which may absorb the energy during an impact. It should be mentioned that normal buffers only absorb the energy resulted from a crash elastically. In the present paper, it is tried to use inversion mode of ...
متن کاملProteins as buffers.
It was a strange choice to ask me, who has not contributed to the description of the titration behavior of proteins, to discuss tha t subject. Nevertheless I am pleased to attempt to summarize the state of knowledge for our present purposes. Our best objective in this monograph is surely to make ourselves and each other better informed; we will be examining the meaning of terms for that purpose...
متن کاملEffects of Buffers
Eight rumen-fistulated steers were randomly assigned to mediumand high-concentrate diets supplemented with O, .75, 2.5 and 5% of either sodium bicarbonate or an artificial saliva salts mixture. Each animal was fed for 21 d at 75 g dry matter/kg body weight 'Ts. Rates of soybean meal (SBM) degradation were predicted by adjusting digestion rates in nylon bags with respective passage rates of chro...
متن کاملManagement of Partially Safe Buffers
AbstPactAhfe RAM is RAM which has been made as reliable as a disk. W e coI1sider the problem of buffer management in partially safe buffers, i.e., butlers which contain both safe RAM and volatile RAM. Buffer managemnt techniques for partially safe buffers explicitly consider the safety of memory in deciding which data to place in the buffer, where to place it, and when to copy updaks back to th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Chemical Education
سال: 1998
ISSN: 0021-9584,1938-1328
DOI: 10.1021/ed075p1504